Computability and noncomputability in classical analysis
نویسندگان
چکیده
منابع مشابه
Computability, noncomputability, and hyperbolic systems
In this paper we study the computability of the stable and unstable manifolds of a hyperbolic equilibrium point. These manifolds are the essential feature which characterizes a hyperbolic system. We show that (i) locally these manifolds can be computed, but (ii) globally they cannot (though we prove they are semi-computable). We also show that Smale’s horseshoe, the first example of a hyperboli...
متن کاملComputability, Noncomputability and Undecidability of Maximal Intervals of Ivps
Let (α, β) ⊆ R denote the maximal interval of existence of solutions for the initial-value problem { dx dt = f(t, x), x(t0) = x0, where E is an open subset of Rm+1, f is continuous in E and (t0, x0) ∈ E. We show that, under the natural definition of computability from the point of view of applications, there exist initial-value problems with computable f and (t0, x0) whose maximal interval of e...
متن کاملClassical Computability and Fuzzy Turing Machines
We work with fuzzy Turing machines (ftms) and we study the relationship between this computational model and classical recursion concepts such as computable functions, r.e. sets and universality. ftms are first regarded as acceptors. It has recently been shown in [23] that these machines have more computational power than classical Turing machines. Still, the context in which this formulation i...
متن کاملTuring and the Art of Classical Computability
1. Mathematics as an Art Mathematics is an art as well as a science. It is an art in the sense of a skill as in Donald Knuth’s series, The Art of Computer Programming, but it is also an art in the sense of an esthetic endeavor with inherent beauty which is recognized by all mathematicians. One of the world’s leading art treasures is Michelangelo’s statue of David as a young man displayed in the...
متن کاملthe stady and analysis of rice agroclimatology in lenjan
the west of esfahan province, iran, is one of the most important agricultural areas throughout the country due to the climate variability and life-giving water of zayanderood river. rice is one of the major and economic crops in this area. the most important climatic elements in agricultural activities which should be considered include temperature, relative humidity, precipitation and wind. so...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1983
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1983-0682717-1